Trait isotope::term::HasDependencies [−][src]
pub trait HasDependencies { fn has_var_dep(&self, ix: u32, equiv: bool) -> bool; fn has_dep_below(&self, ix: u32, base: u32) -> bool; fn get_filter(&self) -> VarFilter; fn fvb(&self) -> u32 { ... } }
Expand description
Objects which have value dependencies
Required methods
fn has_var_dep(&self, ix: u32, equiv: bool) -> bool
[src]
fn has_var_dep(&self, ix: u32, equiv: bool) -> bool
[src]Whether this term depends on a variable with a given index: if equiv is true, also consider larger variables in the same equivalence class
fn has_dep_below(&self, ix: u32, base: u32) -> bool
[src]
fn has_dep_below(&self, ix: u32, base: u32) -> bool
[src]Get whether a term depends on a variable base <= variable <= ix
Unlike has_var_dep
, ignores annotations
fn get_filter(&self) -> VarFilter
[src]
fn get_filter(&self) -> VarFilter
[src]Get the variable filter of this term